Issue555a.agda:6,10-11
Unexpected parameter Γ
when checking the definition of Exp
